fix(tooling,#15974): la recette de l'organe emetteur enseigne la regle d'espacement - #15988

Grain: LIGHT/tooling — lane myia-po-2026:CoursIA — prev: DEEP/slides #15865

Contexte

scan_md_table_syntax.py détecte MATH_SPAN_PIPE (pipe brute dans un span $...$ d'une table) et recommande la forme de correction au worker. Or sa recommandation enseignait \lvert/\rvert sans la règle d'espacement — exactement la forme qui a produit les deux défauts du jour, attrapés à la main : \lverts (commande non définie par collage) sur #15958, et $\lvertS\lvert$ (collage + fermeture par un second ouvreur) sur #15965.

La garde posée en amont (payload roo-extensions#3621) ne couvrait pas cette prose-ci : un worker qui suit la sortie --check de cet organe recevait l'instruction incomplète.

A/B sur la sortie réellement imprimée au worker

Fixture notebook minimal, même pathologie ($|F_B| / |A|$), scanner avant puis après :

AVANT : [MATH_SPAN_PIPE] cell[0] L5: ... utiliser \lvert/\rvert
APRÈS : [MATH_SPAN_PIPE] cell[0] L5: ... utiliser \lvert/\rvert en separant la commande
                                 de son operande (espace ou {}) et en fermant par \rvert,
                                 pas par \lvert

Détection inchangée (même pathologie, même cellule, même ligne) : seule la recommandation gagne la règle qui lui manquait.

Correction apportée à l'issue (G.1)

L'issue proposait d'aligner la prose sur « la forme que le test du scanner utilise déjà » en recommandant \mid (condition) / \vert (valeur absolue). Vérification : le test n'utilise ni l'un ni l'autre. Son unique occurrence (test_scan_md_table_syntax.py:494) est $\lvert F_B\rvert / \lvert A\rvert$, soit \lvert/\rvert avec espacement. La recommandation de l'issue contredisait donc son propre critère d'alignement.

Le correctif est ancré sur la source, pas sur la proposition : on garde \lvert/\rvert (la forme réellement utilisée par le test et par les notebooks) et on ajoute les deux règles dont l'absence est la cause racine unique des deux défauts :

1. ne jamais coller une commande LaTeX à la lettre suivante — \lvert doit être séparé de son opérande par une espace ou {} (le collage rend la commande indéfinie) ;
2. fermer par \rvert, jamais par un second \lvert (deux ouvreurs s'apparient silencieusement au lieu de fermer).

Conformément à l'issue, la prose n'écrit pas les jetons cassés : une prose qui les montre est copiable telle quelle, c'est ainsi qu'ils se propagent.

Balayage frères (avant commit)

• La prose de recommandation n'existe que dans ce fichier (+ son test) : git grep -ln 'MATH_SPAN_PIPE|pipe-free' → 2 hits, tous deux dans l'organe et son test. Rien à grouper, aucun frère à corriger.
• Contrôle positif sur les notebooks qui contiennent lvert (2 ICT, SL-8) : ils utilisent la forme correcte et espacée (\lvert F_B\rvert / \lvert A\rvert). La pathologie n'est pas dans les notebooks — seule la prose de l'organe était fautive. (Le hit sur ICT-12c est un faux positif de grep sur un blob base64 inline.)

Périmètre — exactement celui annoncé par l'issue

1 fichier, 2 chaînes de prose (docstring l.32, detail l.523). Aucune modification de détection. Aucun test à changer. Diff : 2 hunks, prose seule.

Vérifications

• test_scan_md_table_syntax.py — 85 passed
• python -m py_compile — OK
• A/B de sortie ci-dessus : détection identique, recommandation complétée
• Preflight collision : aucune PR ouverte ne touche scripts/notebook_tools/scan_md_table_syntax.py

Résiduel — signalé, pas traité ici

La pathologie reste non détectée par la machine. L'organe recommande maintenant correctement, mais rien ne détecte le collage (\lvert suivi d'une lettre → commande indéfinie) ni l'appariement de deux ouvreurs — c'est précisément pourquoi #15958 et #15965 ont été attrapés à la main et non par une garde. C'est un volet détection, distinct de cette tranche prose ; il mérite son propre grain (élargir le scanner ou ajouter un organe, avec contrôles positif + négatif). Hors périmètre de l'issue, qui scope explicitement « ~2 lignes, aucun comportement modifié ».

Closes #15974

🤖 Generated with Claude Code